201. Mathematics of program construction
پدیدآورنده: Ronald Back house Jose Nuno oliveria
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Electronic digital computers-programming-congresses,computer science-mathematics-congresses
رده :
QA
76
.
6
.
M2
2000
202. Mathematics of program construction
پدیدآورنده: / Eerke A. Boiten, Bernhard M?�ller (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer programming--Congresses,Computer science--Mathematics--Congresses
رده :
QA
,
76
.
6
,.
M6926
,
2002
203. Mathematics of program construction
پدیدآورنده: / Roland Backhouse, Josae Nuno Oliveira (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer programming--Congresses,Computer science--Mathematics--Congresses
رده :
QA
,
76
.
6
,.
I5535
,
2000
204. Mathematics of program construction :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer programming ; Congresses ; Computer science ; Mathematics ; Congresses ;
205. Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
6
.
M367
1993
206. Mathematics of program construction : Second International Conference, Oxford, U.K., June/ July 1992 : processing
پدیدآورنده: R.S. Bird, C.C. Morgan, J.C.P. Woodcock, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
669
207. Mathematics of program construction : second international conference, Oxford, U.K., June/July 1992 : proceedings
پدیدآورنده: R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming,Congresses ، Computer science - Mathematics
رده :
QA
76
.
L4
v
.
669
208. Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
پدیدآورنده: R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Electronic digital computers - Programming - Congresses , Computer science - Mathematics - Congresses
رده :
QA
76
.
6
.
M367
1992
209. Mathematics of program construction : 375th Anniversary of the Groningen University : International Conference, Groningen, the Netherlands, June 26-30, 1989 : Proceedings
پدیدآورنده: J.L.A. van de Snepscheut )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
375
210. Mathematics of program construction : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings
پدیدآورنده: Eerke A. Boiten, Bernhard Moller )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
2386
211. Mathematics of program construction : 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998 : proceedings
پدیدآورنده: Johan Jeuring, )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
1422
212. Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings
پدیدآورنده: Roland Backhouse, Jose Nuno Oliveira )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
1837
213. Mathematics of program construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings
پدیدآورنده: Dexter Kozen )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
3125
214. Mathematics of program construction : 375th anniversary of the Groningen University : international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
6
.
M366
1989
215. Mathematics of program construction: 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004: proceedings
پدیدآورنده: Dexter Kozen, editor
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Computer science - Mathematics
رده :
QA
76
.
6
.
I5535
2004
216. Modern Mathematical Methods and High Performance Computing in Science and Technology
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Mathematics -- Congresses,Computer science -- Mathematics -- Congresses,High performance computing -- Congresses,ریاضیات -- کنگره‌ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها,داده‌پردازی با بازدهی عالی -- کنگره‌ها
رده :
E-Book
,
217. Multiscale and Adaptivity
پدیدآورنده: / Silvia Bertoluzza...[et al.]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Multiscale modeling - Congresses,Mathematics,Computer science,ریاضی,علوم کامپیوتر
رده :
QA377
.
B4
2011
218. Multiset processing
پدیدآورنده: / Cristian S. Calude ... [et al.] (eds.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Electronic data processing--Congresses,Computer science--Mathematics--Congresses,Molecular computers--Congresses
رده :
QA
,
76
.
5
,.
M85
,
2001
219. Multiset processing : mathematical, computer science, and molecular computing points of view
پدیدآورنده: Cristian S. Calude...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Electronic data processing,Congresses ، Computer science -- Mathematics,Congresses ، Molecular computers
رده :
QA
76
.
L28
Vol
.
2235
220. Multiset processing: mathematical, computer science, and molecular computing points of view
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Electronic data processing,Congresses ، Computer science-- Mathematics,Congresses ، Molecular computers
رده :
QA
76
.
5
.
M85
2001
